COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\|\\ This is a POX file, used in the soln for Problem Set 1, Spring 1979
C00003 00003	\F4
C00004 00004	\F4
C00006 ENDMK
C⊗;
\|\\; This is a POX file, used in the soln for Problem Set 1, Spring 1979
\⊂'50044;\←=25;\ε\;  Set for single spacing,
\M0BAXL30;\;		0  normal text
\M1BAXI30;\;		1  Italics
\M4GRFX35;\;		4  Graphics
\←=200;\→L\¬=1700;\→R\;
\←L\+=500;\→l\←R\-=100;\→r\;
\F0\N
\,
\F4
\QL\←l\→L\;
\|⊗⊗;
   ≤αααααααααα⊃
  /           ~
A ←ααα→ D ←αααβααα⊃
  \   /       ~   ~
   \ /        ~   ~
    ∃         ~   ~
   / \        ~   ~
  /   \       ~   ~
B ←ααα→ E     ~   ~
  \   /       ~   ~
   \ /        ~   ~
    ∃         ~   ~
   / \        ~   ~
  /   \       ~   ~
C ←ααα→ F ←ααα$   ~
  \               ~
   `αααααααααααααα$

⊗|\\;

     \F0Figure 1.
\F1Note: All arcs are bidirectional.\F0
\qL





\,
\F4
⊂αααααπααααα⊃       ⊂αααααπααααα⊃       ⊂αααααπααααα⊃       ⊂αααααπααααα⊃
~  #  ~  # αβαααααα→~  #  ~  # αβαααααα→~  #  ~  # αβαααααα→~  #  ~  # αβαα⊃
%ααβαα∀ααααα$       %ααβαα∀ααααα$       %ααβαα∀ααααα$       %ααβαα∀ααααα$  ~
   ↓                   ~                   ↓                   ↓           ↓
  -PLUS-               ~                  -X-                 -3-         NIL
                       ~                                        
                       ~  ⊂αααααπααααα⊃       ⊂αααααπααααα⊃       ⊂αααααπααααα⊃
                       %α→~  #  ~  # αβαααααα→~  #  ~  # αβαααααα→~  #  ~  # αβαα⊃
                          %ααβαα∀ααααα$       %ααβαα∀ααααα$       %ααβαα∀ααααα$  ~
                             ↓                   ↓                   ↓          ↓
                            -TIMES-             -X-                 -Y-        NIL

\F0
\CFigure 2.\.
\CThe representation "-\F1abc\F0-" means a pointer to this "\F1abc\F0".




\C8